How to remove gnome-platform-devel from Debian Unstable (Sid)