diff --git a/ports/litex/mphalport.c b/ports/litex/mphalport.c
index b65b59cca0..d827a92841 100644
--- a/ports/litex/mphalport.c
+++ b/ports/litex/mphalport.c
@@ -36,9 +36,6 @@
 
 #include "irq.h"
 
-#ifdef CFG_TUSB_MCU
-#endif
-
 /*------------------------------------------------------------------*/
 /* delay
  *------------------------------------------------------------------*/
diff --git a/ports/nrf/supervisor/usb.c b/ports/nrf/supervisor/usb.c
index 75aeec651f..11a5a1561f 100644
--- a/ports/nrf/supervisor/usb.c
+++ b/ports/nrf/supervisor/usb.c
@@ -30,6 +30,7 @@
 #include "supervisor/usb.h"
 #include "lib/utils/interrupt_char.h"
 #include "lib/mp-readline/readline.h"
+#include "lib/tinyusb/src/device/usbd.h"
 
 #ifdef SOFTDEVICE_PRESENT
 #include "nrf_sdm.h"
diff --git a/ports/stm/supervisor/usb.c b/ports/stm/supervisor/usb.c
index e981723d67..b2f3ad86bd 100644
--- a/ports/stm/supervisor/usb.c
+++ b/ports/stm/supervisor/usb.c
@@ -30,6 +30,7 @@
 #include "supervisor/usb.h"
 #include "lib/utils/interrupt_char.h"
 #include "lib/mp-readline/readline.h"
+#include "lib/tinyusb/src/device/usbd.h"
 
 #include "py/mpconfig.h"