No clock_gettime on OS X; must use gettimeofday.