Fix missing headers in OSX clock_gettime()