hack: use build.gnome.org for now

I don't have a complete build.gnome.org setup on my system.