Ken Thomases : server: On macOS, don't use clock_gettime() even if it' s available.