I don’t understand, why you created this vote at all? You just listen one idea, which you like but not all people who voted.
Actually, best you just need to do - revert back Box2D changes and forget about it, let it be as was before. And who need latest v2.3.2 will easily replace source folder. Thats it.