diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
index cf57d8cb..9bd3f649 100644
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -3116,6 +3116,7 @@ create_tracer(unsigned long user_start, unsigned long user_end)
 			    case __NR_munmap:
 			    case __NR_mprotect:
 			    case __NR_mremap:
+			case __NR_set_robust_list:/* debug */
 				break;
 			    case __NR_exit_group:
 				exited++;