Use the high_resolution_clock instead of the thread_clock, for the latter is not available on OSX