How to install libsimbody3.5v5-dbg on Debian 9 (Stretch)