The text 4b6b3e8849aa, as Debian 6.0 (Squeeze) shipped it.
process command-line options
Tk_ParseArgv(3tk) on Linux now
