Repair CentOS 6 build (fails due to clock_gettime() being undefined)