Thanks! I ought to have thought of that, but didn't. Unfortunately, this is not the cause: / has 2,7 GB free, or 22% of its 13GB capacity. /boot is not full either - not that that one would be very relevant for this issue, I think. There are no other filesystems, except tmpfs My suspicion is that th...