Fix: "undefined reference to clock_gettime" with some OS