How to install ghc-mod on Debian 9 (Stretch)