diff --git a/ports/stm32/gccollect.c b/ports/stm32/gccollect.c
index d92fc5cef0..5c1bf1e06d 100644
--- a/ports/stm32/gccollect.c
+++ b/ports/stm32/gccollect.c
@@ -27,7 +27,7 @@
 #include <stdio.h>
 #include <stdint.h>
 
-#include "py/obj.h"
+#include "py/mpstate.h"
 #include "py/gc.h"
 #include "py/mpthread.h"
 #include "lib/utils/gchelper.h"
diff --git a/ports/stm32/mpthreadport.c b/ports/stm32/mpthreadport.c
index 11653b24cf..7b3b92934b 100644
--- a/ports/stm32/mpthreadport.c
+++ b/ports/stm32/mpthreadport.c
@@ -26,6 +26,7 @@
 
 #include <stdio.h>
 
+#include "py/mpstate.h"
 #include "py/gc.h"
 #include "py/mpthread.h"
 #include "gccollect.h"