Move execve to syscalls.list (bug 14138).