Remove dependency on 'unix' package.
Remove dependency on 'unix' package.

Builds fail on Windows, otherwise.

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