ost_Time(3) on Linux

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

The Time class uses a integer representation of the current time.

ost_Time(3) on Linux now