The text 0fe525ceb25e, as Debian 7 (Wheezy) shipped it.
standard library of Tcl procedures
auto_mkindex_old(3tcl) on Linux now
