diff --git a/include/splinterdb/platform_linux/public_platform.h b/include/splinterdb/platform_linux/public_platform.h
index b217edf6..015fd951 100644
--- a/include/splinterdb/platform_linux/public_platform.h
+++ b/include/splinterdb/platform_linux/public_platform.h
@@ -44,7 +44,6 @@ typedef int32_t       int32;
 typedef uint32_t      uint32;
 typedef int64_t       int64;
 typedef uint64_t      uint64;
-typedef uint64        timestamp;
 typedef uint64        threadid;
 
 typedef int32 bool32;
diff --git a/src/platform_linux/platform_io.h b/src/platform_linux/platform_io.h
index b7f0122e..0be2afab 100644
--- a/src/platform_linux/platform_io.h
+++ b/src/platform_linux/platform_io.h
@@ -14,6 +14,7 @@
 #include "platform_string.h"
 #include "platform_util.h"
 #include "platform_heap.h"
+#include "platform_time.h"
 #include <fcntl.h>
 
 typedef struct io_handle      io_handle;
diff --git a/src/platform_linux/platform_time.h b/src/platform_linux/platform_time.h
index b3223a6d..5b273c06 100644
--- a/src/platform_linux/platform_time.h
+++ b/src/platform_linux/platform_time.h
@@ -9,6 +9,8 @@
 
 #pragma once
 
+typedef uint64 timestamp;
+
 static inline timestamp
 platform_get_timestamp(void)
 {
diff --git a/src/task.h b/src/task.h
index 239bf2bd..69cf57a5 100644
--- a/src/task.h
+++ b/src/task.h
@@ -8,6 +8,7 @@
 #include "platform_heap.h"
 #include "platform_threads.h"
 #include "platform_condvar.h"
+#include "platform_time.h"
 
 /*
  * We maintain separate task groups for the memtable because memtable