gnome-shell: fix build