time(2) on Linux

The text 28ece4dfd4ee, as Debian 1.3 (Bo) shipped it.

get time in seconds

time(2) on Linux now