build system tweaks to get SAW test suites to build
build system tweaks to get SAW test suites to build

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script