clock_gettime wrapper for __MACH__