If it's available, try to use clock_gettime(CLOCK_MONOTONIC) rather than