diff --git a/executer/user/arch/x86_64/arch_args.h b/executer/user/arch/x86_64/arch_args.h
index 8849eddd..b9c0eaeb 100644
--- a/executer/user/arch/x86_64/arch_args.h
+++ b/executer/user/arch/x86_64/arch_args.h
@@ -1,8 +1,6 @@
 #ifndef ARCH_ARGS_H
 #define ARCH_ARGS_H
 
-#include <asm/prctl.h>
-
 typedef struct user_regs_struct syscall_args;
 
 static inline int