Unset the 'enable-pthreads' cabal flag when building on Windows
Unset the 'enable-pthreads' cabal flag when building on Windows

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