./gecode-4.2.1.7z already exists, skipping download
Getting http://www.gecode.org/download/gecode-4.2.1.7z to ./gecode-4.2.1.7z