The text 33cfbd812fbd, as Debian 7 (Wheezy) shipped it.
System identification support code and utilities
platform::shell(3tcl) on Linux now
