krb5 fix