diff --git a/src/runtime/c/pgf/db.cxx b/src/runtime/c/pgf/db.cxx
index bea7397e1..92f48c001 100644
--- a/src/runtime/c/pgf/db.cxx
+++ b/src/runtime/c/pgf/db.cxx
@@ -16,6 +16,8 @@
 
 #else
 
+#include <time.h>
+
 static
 size_t getpagesize()
 {