diff --git a/sys/net/ccn_lite/ccnl-platform.c b/sys/net/ccn_lite/ccnl-platform.c
index df362817e000..2622223166bf 100644
--- a/sys/net/ccn_lite/ccnl-platform.c
+++ b/sys/net/ccn_lite/ccnl-platform.c
@@ -25,6 +25,10 @@
 
 #include <stdio.h>
 #include <string.h>
+#include <stdlib.h>
+
+#include "ccnl-core.h"
+#include "ccnl-platform.h"
 
 #include "rtc.h"
 
@@ -34,9 +38,6 @@ timevaldelta(struct timeval *a, struct timeval *b)
     return 1000000 * (a->tv_sec - b->tv_sec) + a->tv_usec - b->tv_usec;
 }
 
-#include "ccnl-ext-debug.c"
-#include "ccnl-platform.h"
-
 // ----------------------------------------------------------------------
 
 struct ccnl_timer_s *eventqueue;