workaround for missing clock_gettime() in OS