time(2) on Linux

The text a948b97ded4b, as Debian 6.0 (Squeeze) shipped it.

get time in seconds

time(2) on Linux now