add the function clock_gettime for Mac OS X 10.9