SERVER-8994: Make Boost 1.56 default