credentials: Workaround krb5_cc_remove_cred not implemented in MIT kerberos