function::ctime(3stap) on Linux

The text a86c4447b226, as Debian 8 (Jessie) shipped it.

Convert seconds since epoch into human readable date/time string

function::ctime(3stap) on Linux now