How to remove libghc-markdown-prof from Debian 9 (Stretch)