diff --git a/backend/src/TimePred.hh b/backend/src/TimePred.hh
index 187f0fc..99bf48c 100644
--- a/backend/src/TimePred.hh
+++ b/backend/src/TimePred.hh
@@ -26,6 +26,7 @@
 #else
 # if HAVE_SYS_TIME_H
 #  include <sys/time.h>
+#  include <time.h>
 # else
 #  include <time.h>
 # endif