diff --git a/src/archutils/Common/PthreadHelpers.h b/src/archutils/Common/PthreadHelpers.h
index 956ca6998d..1f5fcaf9d6 100644
--- a/src/archutils/Common/PthreadHelpers.h
+++ b/src/archutils/Common/PthreadHelpers.h
@@ -1,6 +1,8 @@
 #ifndef PID_THREAD_HELPERS_H
 #define PID_THREAD_HELPERS_H
 
+#include <stdint.h>
+
 RString ThreadsVersion();
 
 /* Get the current thread's ThreadID. */