The text 576a7b71ec6c, as Debian 7 (Wheezy) shipped it.
Obsolete support for menu bars
tk_menuBar(3tk) on Linux now
