The text 40d581715324, as Debian 7 (Wheezy) shipped it.
process configuration options
Tk_SetOptions(3tk) on Linux now
