Better shell practices when testing under Docker
Better shell practices when testing under Docker

Suggested by @kquick
GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script