./hoard-38.tar.gz already exists, skipping download
Getting http://www.cs.umass.edu/~emery/hoard/hoard-3.8/source/hoard-38.tar.gz to ./hoard-38.tar.gz