Hi, box2d seems to be packaged for Debian (libbox2d-dev). Maybe that version could/should be used instead of the embedded copy in external/Box2D? Ansgar