Re: [PATCH 03/20] kerberos: User kerberos prefix instead of krb5.