The text ee02089eda95, as Debian 4.0 (Etch) shipped it.
collect command line options
getarg(3) on Linux now
