lib/krb5: fix the build without KRB4