The text 8abbc59f44e0, as Debian 7 (Wheezy) shipped it.
Add an option to the option database
Tk_AddOption(3tk) on Linux now
