Debian changes wrt kerberos authentication support