Fix Gnome build