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