./minisat-2.2.0.tar.gz already exists, skipping download
./minisat-user-guide-1.0.html already exists, skipping download
Getting http://minisat.se/downloads/minisat-2.2.0.tar.gz to ./minisat-2.2.0.tar.gz
Getting http://www.dwheeler.com/essays/minisat-user-guide-1.0.html to ./minisat-user-guide-1.0.html