diff --git a/scripts/azure-pipeline.vs.yaml b/scripts/azure-pipeline.vs.yaml
index f72346ba5..f54d8a2de 100644
--- a/scripts/azure-pipeline.vs.yaml
+++ b/scripts/azure-pipeline.vs.yaml
@@ -4,25 +4,24 @@ pool:
 
 steps:
 
-# - script: git clone https://github.com/z3prover/bin bin
+- script: git clone https://github.com/z3prover/bin bin
   
-#- task: DotNetCoreInstaller@0
-#  displayName: 'Use .NET Core sdk 2.1'
-#  inputs:
-#    version: 2.1.300
+- task: DotNetCoreInstaller@0
+  displayName: 'Use .NET Core sdk 2.1'
+  inputs:
+    version: 2.1.300
 
-# - task: DownloadSecureFile@1
-#  inputs:
-#    secureFile: 'z3.snk'
+- task: DownloadSecureFile@1
+  inputs:
+    secureFile: 'z3.snk'
 
 - script: dir
 
 - script: '"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars64.bat"'
 
-
 - script: python scripts\mk_win_dist.py --x64-only --dotnet-key=$(Agent.TempDirectory)\z3.snk
 
-# - script: "C:\\Program\ Files\ (x86)\\Microsoft\ Visual\ Studio\\2017\\Enterprise\\VC\\Auxiliary\\Build\\vcvars32.bat"
+# - script: '"C:\Program Files (x86)\Microsoft Visual Studio\2017\Enterprise\VC\Auxiliary\Build\vcvars32.bat"'
 
 # - script: python scripts\mk_win_dist.py --x86-only --dotnet-key=$(Agent.TempDirectory)\z3.snk