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