diff --git a/test/cofftest.c b/test/cofftest.c
index 0ffce3e3a..77f610fc7 100644
--- a/test/cofftest.c
+++ b/test/cofftest.c
@@ -6,6 +6,7 @@
  */
 
 #include <stdio.h>
+#include <inttypes.h>
 
 extern int lrotate(int32_t, int);
 extern void greet(void);
diff --git a/test/elftest.c b/test/elftest.c
index e6f472e62..8dd57a2cb 100644
--- a/test/elftest.c
+++ b/test/elftest.c
@@ -7,6 +7,7 @@
  */
 
 #include <stdio.h>
+#include <inttypes.h>
 
 extern int lrotate(int32_t, int);
 extern void greet(void);
diff --git a/test/objlink.c b/test/objlink.c
index 982ca59eb..b767b012e 100644
--- a/test/objlink.c
+++ b/test/objlink.c
@@ -8,6 +8,7 @@
  */
 
 #include <stdio.h>
+#include <inttypes.h>
 
 int8_t text[] = "hello, world\n";