mongodb: add fix with boost 1.57