execve(2) on Linux

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

execute program

execve(2) on Linux now