Fix to accommodate upgrade of Boost to version 1.57.0.