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