Symbol: krb5_get_credentials_renew