gettimeofday(2) on Linux

The text 6de6022a2d39, as Debian 8 (Jessie) shipped it.

get / set time

gettimeofday(2) on Linux now