./cvc3-2.4.1.tar.gz already exists, skipping download
Getting http://www.cs.nyu.edu/acsys/cvc3/download/2.4.1/cvc3-2.4.1.tar.gz to ./cvc3-2.4.1.tar.gz