Copy from Box2D 2.2.1 (downloaded from https://code.google.com/p/box2d/downloads/detail?name=Box2D_v2.2.1.zip&can=2&q=)