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