How to install menhir on Debian 9 (Stretch)