The text d01ab40d769d, as Debian 7 (Wheezy) shipped it.
explain gettimeofday(2) errors
explain_gettimeofday(3) on Linux now