The text 1a3e64b9e47a, as Debian 4.0 (Etch) shipped it.
format date and time
strftime(3) on Linux now
