settimeofday(2) on Linux

The text b7b1f346743b, as Debian 9 (Stretch) shipped it.

get / set time

settimeofday(2) on Linux now