gettimeofday(2) on Linux

The text 3c766f93c369, as Debian 4.0 (Etch) shipped it.

get / set time

gettimeofday(2) on Linux now