krb5 header files that are included in OpenSSH