issue #28: fixing boost_chrono configure issue on MacOS