diff --git a/libguile/null-threads.c b/libguile/null-threads.c
index ac1a135e1..41842a1b8 100644
--- a/libguile/null-threads.c
+++ b/libguile/null-threads.c
@@ -46,8 +46,9 @@
 #include "libguile/root.h"
 #include "libguile/stackchk.h"
 #include "libguile/async.h"
-#include "sys/time.h"
-#include "sys/types.h"
+#include <sys/time.h>
+#include <sys/types.h>
+#include <time.h>
 
 void *scm_null_threads_data;