diff --git a/ports/ARMCM3-STM32F103/stm32_serial.c b/ports/ARMCM3-STM32F103/stm32_serial.c
index 857007362..109fed212 100644
--- a/ports/ARMCM3-STM32F103/stm32_serial.c
+++ b/ports/ARMCM3-STM32F103/stm32_serial.c
@@ -29,7 +29,7 @@
 #include "board.h"
 #include "nvic.h"
 #include "stm32_serial.h"
-#include "stm32lib/stm32f10x_nvic.h"
+#include "stm32f10x_nvic.h"
 
 #if USE_STM32_USART1 || defined(__DOXYGEN__)
 /** @brief USART1 serial driver identifier.*/