execve is more portable (including BSD)