Re: configure and clock_gettime for macOS