The text b476b1d539f8, as Debian 7 (Wheezy) shipped it.
Time the execution of a script
time(3tcl) on Linux now
