./cmsat-2.9.8.tar.gz already exists, skipping download
Getting https://gforge.inria.fr/frs/download.php/32925/cmsat-2.9.8.tar.gz to ./cmsat-2.9.8.tar.gz