/usr/src/cmd/krb5/krb5-config/