Fix several broken sources
download.savannah.(non)gnu.org source is broken. This is fixed by moving several source to git or choosing alternative mirror.
download.savannah.(non)gnu.org source is broken. This is fixed by moving several source to git or choosing alternative mirror.