nicer handling of EXECVE