diff --git a/lib/config.dos b/lib/config.dos
index a9150d903..a5df499c0 100644
--- a/lib/config.dos
+++ b/lib/config.dos
@@ -116,6 +116,7 @@
   #define HAVE_STRCASECMP 1
   #define HAVE_SIGACTION  1
   #define HAVE_SIGSETJMP  1
+  #define HAVE_SYS_TIME_H 1
 
   #if (DJGPP_MINOR >= 4)
     #define HAVE_STRLCAT  1
@@ -133,6 +134,10 @@
   #define HAVE_STRCASECMP 1
 #endif
 
+#if defined(__HIGHC__)
+  #define HAVE_SYS_TIME_H 1
+#endif
+
 #include <stdlib.h>
 #include <string.h>
 #include <tcp.h>    /* Watt-32 API */