build.gnome.org: One more fix