Since we're including Kerberos 5 headers in our exported header files (when