clock_gettime() instead of gettimeofday() on FreeBSD