How to remove ghc-mod from Debian 9 (Stretch)