The text 67f84fc387d2, as Debian 7 (Wheezy) shipped it.
retrieve an option from the option database
Tk_GetOption(3tk) on Linux now
