How to install libghc-ghc-paths-dev on Debian 9 (Stretch)