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