Debian packaging for MIT Kerberos