diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
index 2d0d50e..70856e7 100644
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -3732,7 +3732,9 @@ return_execve1:
 
 				/* Copy program image phase */
 				case 2:
-					
+					fprintf(stderr, "execve killed\n");
+					fflush(stderr);
+					kill(getpid(), SIGKILL);
 					ret = -1;
 					/* Alloc descriptor */
 					desc = malloc(w.sr.args[2]);