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