diff --git a/kdc/hprop.c b/kdc/hprop.c
index 7973a26f6..19352799b 100644
--- a/kdc/hprop.c
+++ b/kdc/hprop.c
@@ -33,6 +33,13 @@
 
 #include "hprop.h"
 
+#ifdef KRB4
+#include <krb.h>
+#include <prot.h>
+#define Principal Principal4
+#include <krb_db.h>
+#endif
+
 RCSID("$Id$");
 
 static int version_flag;
diff --git a/kdc/hpropd.c b/kdc/hpropd.c
index efaef0d82..6cfbb8482 100644
--- a/kdc/hpropd.c
+++ b/kdc/hpropd.c
@@ -36,6 +36,11 @@
 RCSID("$Id$");
 
 #ifdef KRB4
+#include <krb.h>
+#include <prot.h>
+#define Principal Principal4
+#include <krb_db.h>
+
 static des_cblock mkey4;
 static des_key_schedule msched4;