diff --git a/Microsoft.Z3/Microsoft.Z3.csproj b/Microsoft.Z3/Microsoft.Z3.csproj
index 9ca28df75..62ec169b0 100644
--- a/Microsoft.Z3/Microsoft.Z3.csproj
+++ b/Microsoft.Z3/Microsoft.Z3.csproj
@@ -208,10 +208,11 @@
     <CodeAnalysisIgnoreBuiltInRules>true</CodeAnalysisIgnoreBuiltInRules>
   </PropertyGroup>
   <PropertyGroup>
-    <SignAssembly>true</SignAssembly>
+    <SignAssembly>false</SignAssembly>
   </PropertyGroup>
   <PropertyGroup>
-    <AssemblyOriginatorKeyFile>z3.snk</AssemblyOriginatorKeyFile>
+    <AssemblyOriginatorKeyFile>
+    </AssemblyOriginatorKeyFile>
   </PropertyGroup>
   <PropertyGroup>
     <DelaySign>false</DelaySign>
@@ -293,9 +294,6 @@
   <ItemGroup>
     <WCFMetadata Include="Service References\" />
   </ItemGroup>
-  <ItemGroup>
-    <None Include="z3.snk" />
-  </ItemGroup>
   <Import Project="$(MSBuildToolsPath)\Microsoft.CSharp.targets" />
   <PropertyGroup>
     <PostBuildEvent>
diff --git a/Microsoft.Z3/z3.snk b/Microsoft.Z3/z3.snk
deleted file mode 100644
index 1c1ac8713..000000000
Binary files a/Microsoft.Z3/z3.snk and /dev/null differ
diff --git a/Microsoft.Z3V3/AssemblyInfo.cpp b/Microsoft.Z3V3/AssemblyInfo.cpp
index 54bea937e..86a8775e6 100644
--- a/Microsoft.Z3V3/AssemblyInfo.cpp
+++ b/Microsoft.Z3V3/AssemblyInfo.cpp
@@ -25,10 +25,10 @@ using namespace System::Security::Permissions;
 [assembly:AssemblyVersionAttribute("4.2.0.0")];
 [assembly:AssemblyFileVersionAttribute("4.2.0.0")];
 
-#ifdef DELAYSIGN
-[assembly:AssemblyKeyFile("35MSSharedLib1024.snk")];
-[assembly:AssemblyDelaySign(true)];
-#else
-[assembly:AssemblyKeyFile("z3.snk")];
-[assembly:AssemblyDelaySign(true)];
-#endif
+//#ifdef DELAYSIGN
+//[assembly:AssemblyKeyFile("35MSSharedLib1024.snk")];
+//[assembly:AssemblyDelaySign(true)];
+//#else
+//[assembly:AssemblyKeyFile("z3.snk")];
+//[assembly:AssemblyDelaySign(true)];
+//#endif
diff --git a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
index ac99eef86..506e0e17d 100644
--- a/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
+++ b/Microsoft.Z3V3/Microsoft.Z3V3.vcxproj
@@ -259,7 +259,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Debug|x64'">
@@ -282,7 +283,8 @@
       <TargetMachine>MachineX64</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|Win32'">
@@ -306,7 +308,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Release|x64'">
@@ -330,7 +333,8 @@
       <TargetMachine>MachineX64</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Trace|Win32'">
@@ -354,7 +358,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='Trace|x64'">
@@ -377,7 +382,8 @@
       <TargetMachine>MachineX64</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='release_mt|Win32'">
@@ -401,7 +407,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='external|Win32'">
@@ -426,7 +433,8 @@
       <Profile>true</Profile>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='commercial|Win32'">
@@ -450,7 +458,8 @@
       <TargetMachine>MachineX86</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='external|x64'">
@@ -475,7 +484,8 @@
       <Profile>true</Profile>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='commercial|x64'">
@@ -499,14 +509,16 @@
       <TargetMachine>MachineX64</TargetMachine>
     </Link>
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)35MSSharedLib1024.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='release_mt|x64'">
   </ItemDefinitionGroup>
   <ItemDefinitionGroup Condition="'$(Configuration)|$(Platform)'=='release_mt|x64'">
     <PostBuildEvent>
-      <Command>sn.exe -Ra "$(TargetPath)" "$(ProjectDir)z3.snk"</Command>
+      <Command>
+      </Command>
     </PostBuildEvent>
   </ItemDefinitionGroup>
   <ItemGroup>
diff --git a/Microsoft.Z3V3/z3.snk b/Microsoft.Z3V3/z3.snk
deleted file mode 100644
index 1c1ac8713..000000000
Binary files a/Microsoft.Z3V3/z3.snk and /dev/null differ