The text 07c01a8048c5, as Debian 4.0 (Etch) shipped it.
process command-line options
Tk_ParseArgv(3tk) on Linux now
