How to remove gnome-mines from Debian 9 (Stretch)