Fix Windows portability with Box2D