How to remove gnome-platform-devel from Debian 9 (Stretch)