Do these applications actually need to be calling krb5_cc_get_principal?