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