Fix for krb5 config file.

These changes go together with the latest txwinrm updates for kerberos.