How to remove gnome-icon-theme-extras from Debian 9 (Stretch)