diff --git a/executer/user/arch/x86_64/arch_args.h b/executer/user/arch/x86_64/arch_args.h
index 8cb498d0..8849eddd 100644
--- a/executer/user/arch/x86_64/arch_args.h
+++ b/executer/user/arch/x86_64/arch_args.h
@@ -1,9 +1,7 @@
 #ifndef ARCH_ARGS_H
 #define ARCH_ARGS_H
 
-#ifdef POSTK_DEBUG_ARCH_DEP_77 /* arch depend hide */
 #include <asm/prctl.h>
-#endif /* !POSTK_DEBUG_ARCH_DEP_77 */
 
 typedef struct user_regs_struct syscall_args;
 
diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
index c590981c..55e264d4 100644
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -68,9 +68,6 @@
 #include <sys/user.h>
 #endif /* !__aarch64__ */
 #include <sys/prctl.h>
-#ifndef POSTK_DEBUG_ARCH_DEP_77 /* arch depend hide */
-#include <asm/prctl.h>
-#endif /* !POSTK_DEBUG_ARCH_DEP_77 */
 #include "../include/uprotocol.h"
 #include <ihk/ihk_host_user.h>
 #include "../include/uti.h"