original license files for box2d