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