diff -r ed6b9e0d7c05 -r 93ef210e9b56 master/Kbuild.in
--- a/master/Kbuild.in	Sun Jul 08 13:33:09 2018 +0200
+++ b/master/Kbuild.in	Sun Jul 08 13:40:31 2018 +0200
@@ -85,7 +85,7 @@
 ec_master-objs += rtdm.o
 
 ifeq (@ENABLE_XENOMAI@, 1)
-CFLAGS_rtdm.o := -I@XENOMAI_DIR@/include
+CFLAGS_rtdm.o := -I@XENOMAI_DIR@/include/xenomai
 endif
 
 ifeq (@ENABLE_RTAI@, 1)