diff -r f0d16976e46e -r 32d146b64a35 drivers/timers_unix/timers_unix.c
--- a/drivers/timers_unix/timers_unix.c	Tue Mar 20 16:04:52 2018 +0100
+++ b/drivers/timers_unix/timers_unix.c	Wed Mar 21 13:33:43 2018 +0100
@@ -6,7 +6,7 @@
 #include <time.h>
 
 #include <applicfg.h>
-#include <timer.h>
+#include <timers.h>
 
 static pthread_mutex_t CanFestival_mutex = PTHREAD_MUTEX_INITIALIZER;