diff --git a/lib/stm32/f4/Makefile b/lib/stm32/f4/Makefile
index 233619cc..a6a87d6c 100644
--- a/lib/stm32/f4/Makefile
+++ b/lib/stm32/f4/Makefile
@@ -41,6 +41,7 @@ OBJS		= rcc.o gpio.o flash.o exti2.o pwr.o timer.o \
 		  dac_common_all.o usart_common_all.o iwdg_common_all.o i2c_common_all.o \
 		  crc_common_all.o \
 		  rtc_common_bcd.o \
+		  rtc.o \
 		  can.o
 
 VPATH += ../../usb:../:../../cm3:../common
diff --git a/lib/stm32/f4/rtc.c b/lib/stm32/f4/rtc.c
index 5f6627f4..7e1b5ffe 100644
--- a/lib/stm32/f4/rtc.c
+++ b/lib/stm32/f4/rtc.c
@@ -23,6 +23,8 @@
  * along with this library.  If not, see <http://www.gnu.org/licenses/>.
  */
 
+#include <libopencm3/stm32/exti.h>
+#include <libopencm3/stm32/f4/nvic.h>
 #include <libopencm3/stm32/rtc.h>
 #include <libopencm3/stm32/common/rtc_common_bcd.h>