/etc/debian-edu/host-keytabs