Fall back to gettimeofday on systems with a small CLOCKS_PER_SECOND