gettimeofday(2) on Linux

The text d18b797766e4, as Debian 3.0 (Woody) shipped it.

get / set time

gettimeofday(2) on Linux now