bump gnome-shell-extensions-3.11.5