Try to work around path-handling issue when building on Windows
Try to work around path-handling issue when building on Windows

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