Using clock_gettime() instead of gettimeofday() for improved accuracy of time measurements