./gap4r6p5_2013_07_20-20_02.tar.bz2 already exists, skipping download
Getting ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/gap4r6p5_2013_07_20-20_02.tar.bz2 to ./gap4r6p5_2013_07_20-20_02.tar.bz2