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