execvp(3) on Linux

The text e0aa4a8157cf, as Debian 3.1 (Sarge) shipped it.

execute a file

execvp(3) on Linux now