The text 8476556d61aa, as Debian 6.0 (Squeeze) shipped it.
Facet for outputting dates and times.
std::time_put(3cxx) on Linux now
