Revert to official box2d lib