diff --git a/configure.ac b/configure.ac
index cc9b2431..61402817 100644
--- a/configure.ac
+++ b/configure.ac
@@ -227,6 +227,7 @@ AC_CONFIG_FILES([
 	Makefile
 	executer/user/Makefile
 	executer/kernel/mcctrl/Makefile
+	executer/kernel/mcctrl/arch/x86_64/Makefile
 	executer/kernel/mcoverlayfs/Makefile
 	kernel/Makefile
 	kernel/Makefile.build
diff --git a/executer/kernel/mcctrl/arch/x86_64/Makefile.in b/executer/kernel/mcctrl/arch/x86_64/Makefile.in
new file mode 100644
index 00000000..fe9c2dc0
--- /dev/null
+++ b/executer/kernel/mcctrl/arch/x86_64/Makefile.in
@@ -0,0 +1 @@
+# dummy file
diff --git a/executer/kernel/mcctrl/arch/x86_64/archdeps.c b/executer/kernel/mcctrl/arch/x86_64/archdeps.c
index a993add2..8c9d3a27 100644
--- a/executer/kernel/mcctrl/arch/x86_64/archdeps.c
+++ b/executer/kernel/mcctrl/arch/x86_64/archdeps.c
@@ -1,6 +1,6 @@
 #include <linux/version.h>
 #include "config.h"
-#include "mcctrl.h"
+#include "../../mcctrl.h"
 
 unsigned long
 reserve_user_space_common(struct mcctrl_usrdata *usrdata, unsigned long start, unsigned long end);