The text fa8ee0cac2a7, as Debian 8 (Jessie) shipped it.
get/set date and time
gettimeofday(2freebsd) on Linux now
