Adding Box2D library x32bit for Linux