Add Box2D for Linux