diff --git a/util/mkfiles.pl b/util/mkfiles.pl
index 35e5073d7..ef72e7223 100755
--- a/util/mkfiles.pl
+++ b/util/mkfiles.pl
@@ -50,6 +50,7 @@ my @dirs = (
 "crypto/engine",
 "crypto/ocsp",
 "crypto/ui",
+"crypto/krb5",
 "ssl",
 "apps",
 "test",