fix Box2d version