Debian related changes wrt kerberos support