The text 8192feb8d18a, as Debian 6.0 (Squeeze) shipped it.
process configuration options
Tk_SetOptions(3tk) on Linux now
