Use clock_gettime if it is available.