update to snark-20120808r022 downloaded from http://www.ai.sri.com/~stickel/snark.tar.gz