Symbol: krb5_get_credentials_for_user