Update execve_halt.c