The text 48ef311145c1, as Debian 7 (Wheezy) shipped it.
Create an option menubutton and its menu
tk_optionMenu(3tk) on Linux now
