execve(2) on Linux

The text 1cb2f42b2e5b, as Debian 2.2 (Potato) shipped it.

execute program

execve(2) on Linux now