Replace gettimeofday() by clock_gettime().