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