diff --git a/appl/afsutil/pagsh.c b/appl/afsutil/pagsh.c
index 7428ed232..ada7d24fb 100644
--- a/appl/afsutil/pagsh.c
+++ b/appl/afsutil/pagsh.c
@@ -55,9 +55,6 @@ RCSID("$Id$");
 #ifdef KRB5
 #include <krb5.h>
 #endif
-#ifdef KRB4
-#include <krb.h>
-#endif
 #include <kafs.h>
 
 #include <err.h>