Kerberos changes

Kerberos has been enhanced in the following ways: