diff --git a/sw/airborne/arch/stm32/modules/core/threads_arch.c b/sw/airborne/arch/stm32/modules/core/threads_arch.c
index ba9a02cc66..1d3829f4e5 100644
--- a/sw/airborne/arch/stm32/modules/core/threads_arch.c
+++ b/sw/airborne/arch/stm32/modules/core/threads_arch.c
@@ -13,7 +13,7 @@
 #include "modules/core/threads.h"
 #include "modules/core/threads_arch.h"
 #include "stdbool.h"
-
+#include "mcu_periph/sys_time.h"
 
 int pprz_mtx_init(pprz_mutex_t* mtx) {
   (void)mtx;
@@ -36,8 +36,6 @@ int pprz_mtx_unlock(pprz_mutex_t* mtx) {
   return 0;
 }
 
-
-
 void pprz_bsem_init(pprz_bsem_t* bsem, bool taken) {
   bsem->value = taken ? 0: 1;
 }