Avoid <krb5/...> includes