ost_Time(3) on Linux

The text e836df7498f2, as Debian 10 (Buster) shipped it.

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

ost_Time(3) on Linux now