diff --git a/bolt/test/Inputs/icf-jump-tables.c b/bolt/test/Inputs/icf-jump-tables.c
--- a/bolt/test/Inputs/icf-jump-tables.c
+++ b/bolt/test/Inputs/icf-jump-tables.c
@@ -1,4 +1,4 @@
-#include <stdio.h>
+extern void puts(char *);
 
 int inc(int x) {
   switch (x) {
diff --git a/bolt/test/X86/Inputs/avx512.c b/bolt/test/X86/Inputs/avx512.c
--- a/bolt/test/X86/Inputs/avx512.c
+++ b/bolt/test/X86/Inputs/avx512.c
@@ -1,14 +1,9 @@
-#include <stdio.h>
-
 void use_avx512() {
-  printf("after first entry\n");
   asm (".byte 0x62, 0xe2, 0xf5, 0x70, 0x2c, 0xda");
-  asm ("secondary_entry:");
-  printf("after secondary entry\n");
+  asm("secondary_entry:");
 }
 
 int main() {
-  printf("about to use avx-512 instruction...\n");
   use_avx512();
 
   return 0;
diff --git a/bolt/test/X86/Inputs/inline-foo.c b/bolt/test/X86/Inputs/inline-foo.c
--- a/bolt/test/X86/Inputs/inline-foo.c
+++ b/bolt/test/X86/Inputs/inline-foo.c
@@ -1,4 +1,4 @@
-#include <stdio.h>
+extern void puts(char *);
 
 void foo() {
   puts("Hello world!\n");