./gecode-4.2.0.tar.gz already exists, skipping download
Getting http://www.gecode.org/download/gecode-4.2.0.tar.gz to ./gecode-4.2.0.tar.gz