When exec() fails, return 127 instead of errno; the parent process has no way to