Try to make clock_gettime work with linux