diff --git a/platform/mcu/x86_64/drivers/delays.c b/platform/mcu/x86_64/drivers/delays.c
index 4949e6fb..2fa636b5 100644
--- a/platform/mcu/x86_64/drivers/delays.c
+++ b/platform/mcu/x86_64/drivers/delays.c
@@ -17,6 +17,7 @@
 
 #include "delays.h"
 #include <unistd.h>
+#include <stdio.h>
 
 /**
  * Implementation of the delay functions for x86_64.
diff --git a/platform/mcu/x86_64/drivers/gpio.c b/platform/mcu/x86_64/drivers/gpio.c
index cb1c578b..95312999 100644
--- a/platform/mcu/x86_64/drivers/gpio.c
+++ b/platform/mcu/x86_64/drivers/gpio.c
@@ -16,6 +16,7 @@
  ***************************************************************************/
 
 #include "gpio.h"
+#include <stdio.h>
 
 void gpio_setMode(void *port, uint8_t pin, enum Mode mode)
 {
diff --git a/platform/targets/linux/platform.c b/platform/targets/linux/platform.c
index 7f8ad736..7062a71a 100644
--- a/platform/targets/linux/platform.c
+++ b/platform/targets/linux/platform.c
@@ -17,6 +17,7 @@
 
 #include "platform.h"
 #include "gpio.h"
+#include <stdio.h>
 
 void platform_init()
 {