diff --git a/kdc/headers.h b/kdc/headers.h
index 80be93c74..53a28605b 100644
--- a/kdc/headers.h
+++ b/kdc/headers.h
@@ -92,13 +92,6 @@
 #include <hdb_err.h>
 #include <der.h> /* copy_octet_string */
 
-#ifdef KRB4
-#include <krb.h>
-#include <prot.h>
-#define Principal Principal4
-#include <krb_db.h>
-#endif
-
 #undef ALLOC
 #define ALLOC(X) ((X) = malloc(sizeof(*(X))))
 #undef ALLOC_SEQ