Symbol: krb5_get_renewed_creds