Manually configuring Kerberos