Added required header for OSX clock_gettime