The text 2ef8ee7fe540, as Debian 7 (Wheezy) shipped it.
Install the console channels as standard channels
Tk_InitConsoleChannels(3tk) on Linux now
