diff --git a/src/helper/types.h b/src/helper/types.h
index 11b97f61e..b32850ccc 100644
--- a/src/helper/types.h
+++ b/src/helper/types.h
@@ -29,6 +29,9 @@
 #ifdef HAVE_STDINT_H
 #include <stdint.h>
 #endif
+#ifdef HAVE_INTTYPES_H
+#include <inttypes.h>
+#endif
 
 typedef struct jtag_tap_s jtag_tap_t;