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