diff --git a/sw/airborne/arch/stm32/mcu_arch.c b/sw/airborne/arch/stm32/mcu_arch.c
index 132eb8c059..74c461d000 100644
--- a/sw/airborne/arch/stm32/mcu_arch.c
+++ b/sw/airborne/arch/stm32/mcu_arch.c
@@ -30,6 +30,9 @@
 #include <stm32/rcc.h>
 #include <stm32/flash.h>
 #include <stm32/misc.h>
+#ifdef USE_OPENCM3
+#include <libopencm3/stm32/rcc.h>
+#endif
 
 #include BOARD_CONFIG