krb5_sname_to_principal.3 revision 303975