krb5 fixes