build.gnome.org: Update for renaming