How to install boogie on Debian 9 (Stretch)