Use the host exit syscall for exiting (Lauro Ramos Venancio). We can't call the libc _exit function because it calls the exit_group host syscall. We must call directly the exit host syscall.
Changed paths: