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