exec(3) on Linux

The text a968ef5ffa45, as Debian 4.0 (Etch) shipped it.

execute a file

exec(3) on Linux now