krb5-config has no man page