Dmitry Timoshkov : kerberos: Use kerberos prefix instead of krb5.