diff --git a/Microsoft.Z3/Native.cs b/Microsoft.Z3/Native.cs
index d959fd254..b4a4c2ab6 100644
--- a/Microsoft.Z3/Native.cs
+++ b/Microsoft.Z3/Native.cs
@@ -46,12 +46,8 @@ namespace Microsoft.Z3
 
         public unsafe class LIB
         {
-            #if DEBUG
-            const string Z3_DLL_NAME = "z3_dbg.dll";
-            #else
-            const string Z3_DLL_NAME = "z3.dll";
-            #endif
-
+                       const string Z3_DLL_NAME = "z3.dll";
+            
             [DllImport(Z3_DLL_NAME, CallingConvention = CallingConvention.Cdecl, CharSet = CharSet.Ansi)]
             public extern static void Z3_set_error_handler(Z3_context a0, Z3_error_handler a1);
 
diff --git a/update_api.py b/update_api.py
index 82afb7cdb..8c0eb98da 100644
--- a/update_api.py
+++ b/update_api.py
@@ -509,6 +509,7 @@ def mk_dotnet():
     dotnet.write('        public delegate void Z3_error_handler(Z3_context c, Z3_error_code e);\n\n')
     dotnet.write('        public unsafe class LIB\n')
     dotnet.write('        {\n')
+    dotnet.write('           '
                  '            const string Z3_DLL_NAME = \"z3.dll\";\n'
                  '            \n');
     dotnet.write('            [DllImport(Z3_DLL_NAME, CallingConvention = CallingConvention.Cdecl, CharSet = CharSet.Ansi)]\n')