diff --git a/VS/CSHARP/asm-dude-vsix/Microsoft.Z3.dll b/VS/CSHARP/asm-dude-vsix/Microsoft.Z3.dll
deleted file mode 100644
index 5e029f73..00000000
Binary files a/VS/CSHARP/asm-dude-vsix/Microsoft.Z3.dll and /dev/null differ
diff --git a/VS/CSHARP/asm-dude-vsix/asm-dude-vsix.csproj b/VS/CSHARP/asm-dude-vsix/asm-dude-vsix.csproj
index 2020e010..150974c3 100644
--- a/VS/CSHARP/asm-dude-vsix/asm-dude-vsix.csproj
+++ b/VS/CSHARP/asm-dude-vsix/asm-dude-vsix.csproj
@@ -97,13 +97,15 @@
   </PropertyGroup>
   <ItemGroup>
     <Content Include="AsmDudePackage.ico" />
-    <Content Include="libz3.dll">
+    <Content Include="..\asm-sim-lib\libs\z3-4.8.6-x86-win\bin\libz3.dll">
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
       <IncludeInVSIX>true</IncludeInVSIX>
+      <Link>libz3.dll</Link>
     </Content>
-    <Content Include="Microsoft.Z3.dll">
+    <Content Include="..\asm-sim-lib\libs\z3-4.8.6-x86-win\bin\Microsoft.Z3.dll">
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
       <IncludeInVSIX>true</IncludeInVSIX>
+      <Link>Microsoft.Z3.dll</Link>
     </Content>
     <Content Include="Resources\AsmDudeData.xml">
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
diff --git a/VS/CSHARP/asm-dude-vsix/libz3.dll b/VS/CSHARP/asm-dude-vsix/libz3.dll
deleted file mode 100644
index 45ca2d89..00000000
Binary files a/VS/CSHARP/asm-dude-vsix/libz3.dll and /dev/null differ
diff --git a/VS/CSHARP/unit-tests-asm-sim/libz3.dll b/VS/CSHARP/unit-tests-asm-sim/libz3.dll
deleted file mode 100644
index 4676d712..00000000
Binary files a/VS/CSHARP/unit-tests-asm-sim/libz3.dll and /dev/null differ
diff --git a/VS/CSHARP/unit-tests-asm-sim/unit-tests-asm-sim.csproj b/VS/CSHARP/unit-tests-asm-sim/unit-tests-asm-sim.csproj
index 07818a03..28b10d83 100644
--- a/VS/CSHARP/unit-tests-asm-sim/unit-tests-asm-sim.csproj
+++ b/VS/CSHARP/unit-tests-asm-sim/unit-tests-asm-sim.csproj
@@ -165,8 +165,9 @@
     </PackageReference>
   </ItemGroup>
   <ItemGroup>
-    <Content Include="libz3.dll">
+    <Content Include="..\asm-sim-lib\libs\z3-4.8.6-x64-win\bin\libz3.dll">
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
+      <Link>libz3.dll</Link>
     </Content>
   </ItemGroup>
   <ItemGroup>