mm_ssh_gssapi_userok
authenticated = mm_ssh_gssapi_userok(authctxt->user);
int mm_ssh_gssapi_userok(char *user);