GSSAPI and usernames, not Kerberos ticket names