diff --git a/src/File.h b/src/File.h
index 98b722228d..26ef3c154f 100644
--- a/src/File.h
+++ b/src/File.h
@@ -7,10 +7,6 @@
 #include <string>
 #include <utility>
 
-#ifdef NEED_KRB5_H
-#include <krb5.h>
-#endif // NEED_KRB5_H
-
 #include "zeek/Val.h"
 #include "zeek/util.h"