I guess this is where git2_github.com.gcc-mirror.gcc.tar.gz download comes from? It increased the size of my downloads-directory by >30% -- and I must have quite a bit of old junk in that directory already. 

Is there no other solution to this than a 2.5G git copy (honest question, I don't know gcc)?

Jussi