The text 4b26204aca63, as Debian 7 (Wheezy) shipped it.
make X resource identifier available for reuse
Tk_FreeXId(3tk) on Linux now
