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