The Linux login server lilo3 didn’t have the homedirectories of some users. It took a reboot to fix this.