How to remove libghc-mersenne-random-pure64-dev from Debian 9 (Stretch)