use the @GNU mirror facility from scripts/download.pl