diff --git a/examples/stm32/nucleo-f429zi-baremetal/main.c b/examples/stm32/nucleo-f429zi-baremetal/main.c
index 22feb000..58f669fb 100644
--- a/examples/stm32/nucleo-f429zi-baremetal/main.c
+++ b/examples/stm32/nucleo-f429zi-baremetal/main.c
@@ -2,6 +2,7 @@
 // All rights reserved
 
 #include "hal.h"
+#include "mongoose.h"
 #include "net.h"
 
 #define LED1 PIN('B', 0)   // On-board LED pin (green)
diff --git a/examples/stm32/nucleo-f429zi-freertos/main.c b/examples/stm32/nucleo-f429zi-freertos/main.c
index a04df80c..90cf9229 100644
--- a/examples/stm32/nucleo-f429zi-freertos/main.c
+++ b/examples/stm32/nucleo-f429zi-freertos/main.c
@@ -2,6 +2,7 @@
 // All rights reserved
 
 #include "hal.h"
+#include "mongoose.h"
 #include "net.h"
 
 #define LED1 PIN('B', 0)   // On-board LED pin (green)
diff --git a/examples/stm32/nucleo-f746zg-baremetal/main.c b/examples/stm32/nucleo-f746zg-baremetal/main.c
index 22feb000..58f669fb 100644
--- a/examples/stm32/nucleo-f746zg-baremetal/main.c
+++ b/examples/stm32/nucleo-f746zg-baremetal/main.c
@@ -2,6 +2,7 @@
 // All rights reserved
 
 #include "hal.h"
+#include "mongoose.h"
 #include "net.h"
 
 #define LED1 PIN('B', 0)   // On-board LED pin (green)
diff --git a/examples/stm32/nucleo-f746zg-freertos/main.c b/examples/stm32/nucleo-f746zg-freertos/main.c
index a04df80c..90cf9229 100644
--- a/examples/stm32/nucleo-f746zg-freertos/main.c
+++ b/examples/stm32/nucleo-f746zg-freertos/main.c
@@ -2,6 +2,7 @@
 // All rights reserved
 
 #include "hal.h"
+#include "mongoose.h"
 #include "net.h"
 
 #define LED1 PIN('B', 0)   // On-board LED pin (green)
diff --git a/examples/stm32/nucleo-h743zi-baremetal/main.c b/examples/stm32/nucleo-h743zi-baremetal/main.c
index 27bb9734..432000d2 100644
--- a/examples/stm32/nucleo-h743zi-baremetal/main.c
+++ b/examples/stm32/nucleo-h743zi-baremetal/main.c
@@ -2,6 +2,7 @@
 // All rights reserved
 
 #include "hal.h"
+#include "mongoose.h"
 #include "net.h"
 
 #define LED1 PIN('B', 0)   // On-board LED pin (green)