Add patched Box2D files.
Fix a crash bug of vector convertor.