./ginac-1.6.2.tar.bz2 already exists, skipping download
Getting http://www.ginac.de/ginac-1.6.2.tar.bz2 to ./ginac-1.6.2.tar.bz2