Fix clock_gettime on linux.