diff --git a/criu/Makefile.crtools b/criu/Makefile.crtools
index 9f3041eef..41de00877 100644
--- a/criu/Makefile.crtools
+++ b/criu/Makefile.crtools
@@ -3,6 +3,7 @@ ccflags-y		+= -iquote compel/plugins/include
 ccflags-y		+= -iquote compel/include
 ccflags-y		+= -iquote compel/arch/$(ARCH)/plugins/std
 
+obj-y			+= infect.o
 obj-y			+= action-scripts.o
 obj-y			+= external.o
 obj-y			+= aio.o
diff --git a/criu/include/infect.h b/criu/include/infect.h
new file mode 100644
index 000000000..1d2bdf532
--- /dev/null
+++ b/criu/include/infect.h
@@ -0,0 +1,3 @@
+#ifndef __COMPEL_INFECT_H__
+#define __COMPEL_INFECT_H__
+#endif
diff --git a/criu/infect.c b/criu/infect.c
new file mode 100644
index 000000000..ac3897c3e
--- /dev/null
+++ b/criu/infect.c
@@ -0,0 +1 @@
+#include "infect.h"