libbox2d is not available on debian stable, build from source