Fix for clock_gettime from Kevin Huck.