Added linux box2d includes