execvp(3) on Linux

The text c8660a427eff, as Debian 7 (Wheezy) shipped it.

execute a file

execvp(3) on Linux now