Export a few krb5 routines for rxgk