mariospr/compact-quick-settings-gnome-shell-extension not found