function::ctime(3stap) on Linux

The text 494f27bb45b6, as Debian 9 (Stretch) shipped it.

Convert seconds since epoch into human readable date/time string

function::ctime(3stap) on Linux now