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