Set up the correct version of Boost