./csisat-1.2.zip already exists, skipping download
Getting http://csisat.googlecode.com/files/csisat-1.2.zip to ./csisat-1.2.zip