diff --git a/client/reveng/config.h b/client/reveng/config.h
index ab7eb9aaa..ecf17773f 100644
--- a/client/reveng/config.h
+++ b/client/reveng/config.h
@@ -77,6 +77,7 @@
  */
 
 
+#include <stdint.h>
 #if UINTPTR_MAX == UINT64_MAX
 // 64-bit
 #define PRESETS  1