How to remove libghc-split-dev from Debian 9 (Stretch)