wget https://github.com/Gecode/gecode/archive/release-6.1.1.tar.gz