How to install libchipmunk0d3-dbg on Debian 9 (Stretch)