Occurrences of gettimeofday() in src/include