diff --git a/lib/des/rnd_keys.c b/lib/des/rnd_keys.c
index 92b9b8b4b..bb6c23ff7 100644
--- a/lib/des/rnd_keys.c
+++ b/lib/des/rnd_keys.c
@@ -37,10 +37,10 @@
 RCSID("$Id$");
 #endif
 
-#include <des.h>
 #ifdef KRB5
 #include <krb5-types.h>
 #endif
+#include <des.h>
 
 #include <string.h>