[ci skip]Bug fix in box2d.