The text ec1dfc7dc3f4, as Debian 7 (Wheezy) shipped it.
Optimisation routines
optimize(3tcl) on Linux now
