diff --git a/platform-independent/c/core/src/mpw-util.h b/platform-independent/c/core/src/mpw-util.h
index 71c71d33..c43b4634 100644
--- a/platform-independent/c/core/src/mpw-util.h
+++ b/platform-independent/c/core/src/mpw-util.h
@@ -24,6 +24,7 @@
 MP_LIBS_BEGIN
 #include <stdio.h>
 #include <stdarg.h>
+#include <time.h>
 MP_LIBS_END
 
 //// Logging.