diff --git a/src/libs/compat/freebsd_network/clock.c b/src/libs/compat/freebsd_network/clock.c
index 91a095429d..fce43ccef2 100644
--- a/src/libs/compat/freebsd_network/clock.c
+++ b/src/libs/compat/freebsd_network/clock.c
@@ -5,7 +5,8 @@
 
 
 #include "device.h"
-#include "kernel.h"
+
+#include <compat/sys/kernel.h>
 
 
 int ticks;