The text 415ffb8d83bf, as Debian 10 (Buster) shipped it.
convert a date-plus-time string to broken-down time
getdate_r(3) on Linux now
