diff --git a/kdc/524.c b/kdc/524.c
index bdc8037ea..8fd3c2418 100644
--- a/kdc/524.c
+++ b/kdc/524.c
@@ -35,9 +35,7 @@
 
 RCSID("$Id$");
 
-#ifndef KRB4
 #include <krb5-v4compat.h>
-#endif
 
 /*
  * fetch the server from `t', returning the name in malloced memory in