./splint-3.1.2.src.tgz already exists, skipping download
Getting http://www.splint.org/downloads/splint-3.1.2.src.tgz to ./splint-3.1.2.src.tgz