How to install libbox2d2.3.0-dbg on Debian 9 (Stretch)