Add srclib ignores.
Set Gnome proxy unconditionally.