How to remove minizinc-ide from Debian 9 (Stretch)