The text 253bf0414dd8, as Debian 2.1 (Slink) shipped it.
format date and time
strftime(3) on Linux now
