Add missing gnome-shell-extensions package to gnome:extensions_3.9