Makefile: Kerberos on Debian Hurd