/kerberos5/usr.bin/verify_krb5