diff --git a/ports/esp32/main.c b/ports/esp32/main.c
index 6f51b7236b..6fb15d3cc8 100644
--- a/ports/esp32/main.c
+++ b/ports/esp32/main.c
@@ -59,7 +59,6 @@
 #include "usb_serial_jtag.h"
 #include "modmachine.h"
 #include "modnetwork.h"
-#include "mpthreadport.h"
 
 #if MICROPY_BLUETOOTH_NIMBLE
 #include "extmod/modbluetooth.h"
diff --git a/ports/renesas-ra/mpthreadport.h b/ports/renesas-ra/mpthreadport.h
index e2b39979fb..a68c00e1f8 100644
--- a/ports/renesas-ra/mpthreadport.h
+++ b/ports/renesas-ra/mpthreadport.h
@@ -24,7 +24,6 @@
  * THE SOFTWARE.
  */
 
-#include "py/mpthread.h"
 #include "pybthread.h"
 
 typedef pyb_mutex_t mp_thread_mutex_t;
diff --git a/ports/rp2/mpthreadport.h b/ports/rp2/mpthreadport.h
index 868f8d1411..7982de96a8 100644
--- a/ports/rp2/mpthreadport.h
+++ b/ports/rp2/mpthreadport.h
@@ -26,7 +26,6 @@
 #ifndef MICROPY_INCLUDED_RP2_MPTHREADPORT_H
 #define MICROPY_INCLUDED_RP2_MPTHREADPORT_H
 
-#include "py/mpthread.h"
 #include "pico/mutex.h"
 
 typedef struct mutex mp_thread_mutex_t;
diff --git a/ports/stm32/mpthreadport.h b/ports/stm32/mpthreadport.h
index e2b39979fb..a68c00e1f8 100644
--- a/ports/stm32/mpthreadport.h
+++ b/ports/stm32/mpthreadport.h
@@ -24,7 +24,6 @@
  * THE SOFTWARE.
  */
 
-#include "py/mpthread.h"
 #include "pybthread.h"
 
 typedef pyb_mutex_t mp_thread_mutex_t;