Use a more recent Boost version.