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