* gcc_build: Use gcc.gnu.org as the default server. Set up