The text 0c3d5f37630b, as Debian 7 (Wheezy) shipped it.
process command-line options
Tk_ParseArgv(3tk) on Linux now
