The text c72b013ebcfe, as Debian 8 (Jessie) shipped it.
Convert a date string to number of seconds
curl_getdate(3) on Linux now