--- a/drivers/AT91/timer_AT91.c	Tue Mar 20 16:04:52 2018 +0100
+++ b/drivers/AT91/timer_AT91.c	Wed Mar 21 13:33:43 2018 +0100
@@ -23,7 +23,7 @@
 
 // Includes for the Canfestival driver
 #include "canfestival.h"
-#include "timer.h"
+#include "timers.h"
 
 // Define the timer registers
 #define AT91C_BASE_TC	AT91C_BASE_TC2