platform_krb5_get_principal_name
platform_client = platform_krb5_get_principal_name(authctxt->pw->pw_name);
char *platform_krb5_get_principal_name(const char *);