asctime(3) on Linux

The text 071d609b3c2c, as Debian 2.0 (Hamm), Debian 1.3 (Bo), Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

transform binary date and time to ASCII

asctime(3) on Linux now