diff --git a/conf/airframes/TestHardware/LisaL_v1.1_b2_v1.2_rc.xml b/conf/airframes/TestHardware/LisaL_v1.1_b2_v1.2_rc.xml
index f72a7f9295..1f9c5b1029 100644
--- a/conf/airframes/TestHardware/LisaL_v1.1_b2_v1.2_rc.xml
+++ b/conf/airframes/TestHardware/LisaL_v1.1_b2_v1.2_rc.xml
@@ -33,6 +33,7 @@
         <subsystem name="stabilization"   type="euler"/>
         <subsystem name="ahrs"            type="int_cmpl_quat"/>
         <subsystem name="ins"/>
+        <define name="HMC5843_USE_INT"/>
     </firmware>
 
 <!--
diff --git a/sw/airborne/arch/stm32/peripherals/hmc5843_arch.c b/sw/airborne/arch/stm32/peripherals/hmc5843_arch.c
index e258c418b8..5febc83dea 100644
--- a/sw/airborne/arch/stm32/peripherals/hmc5843_arch.c
+++ b/sw/airborne/arch/stm32/peripherals/hmc5843_arch.c
@@ -24,6 +24,7 @@
 
 #include <libopencm3/stm32/f1/gpio.h>
 #include <libopencm3/stm32/f1/rcc.h>
+#include <libopencm3/stm32/f1/nvic.h>
 #include <libopencm3/stm32/spi.h>
 #include <libopencm3/stm32/exti.h>
 #include "mcu_periph/i2c.h"