Fix MongoDB problem with last Boost version.