Occurrences of gettimeofday() in src/tools