Support gettimeofday() and settimeofday().