kerberos: Use default kerberos instead of krb5