Fix gnome-shell build