proper way to use execvp().