Fixing KerberosTest