diff --git a/kdc/headers.h b/kdc/headers.h
index 2bb3288b0..9e5ac48b1 100644
--- a/kdc/headers.h
+++ b/kdc/headers.h
@@ -89,6 +89,7 @@
 #include <krb5.h>
 #include <krb5_locl.h>
 #include <digest_asn1.h>
+#include <kx509_asn1.h>
 #include <hdb.h>
 #include <hdb_err.h>
 #include <der.h>