How to install gnome-shell-extensions on Debian Unstable (Sid)