diff --git a/lib/des/rnd_keys.c b/lib/des/rnd_keys.c
index 7414fb1e9..161dba3e4 100644
--- a/lib/des/rnd_keys.c
+++ b/lib/des/rnd_keys.c
@@ -3,6 +3,9 @@
 RCSID("$Id$");
 
 #include <time.h>
+#ifdef HAVE_SYS_TIME_H
+#include <sys/time.h>
+#endif /* HAVE_SYS_TIME_H */
 #include <signal.h>
 
 /*