Fix for krb5 config file.