diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index ce83f58e5..b155fd7c2 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -2510,8 +2510,8 @@ def mk_config():
             SO_EXT         = '.dll'
             SLIBFLAGS      = '-shared'
         elif sysname.startswith('MSYS_NT') or sysname.startswith('MINGW'):
-            CXXFLAGS       = '%s' % CXXFLAGS
-            OS_DEFINES     = ''
+            CXXFLAGS       = '%s -D_MINGW' % CXXFLAGS
+            OS_DEFINES     = '-D_MINGW'
             SO_EXT         = '.dll'
             SLIBFLAGS      = '-shared'
             EXE_EXT        = '.exe'
diff --git a/src/interp/iz3interp.cpp b/src/interp/iz3interp.cpp
index f9bf03951..c1c4588cc 100755
--- a/src/interp/iz3interp.cpp
+++ b/src/interp/iz3interp.cpp
@@ -550,7 +550,7 @@ void interpolation_options_struct::apply(iz3base &b){
 
 // On linux and mac, unlimit stack space so we get recursion
 
-#if defined(_WINDOWS) || defined(_CYGWIN)
+#if defined(_WINDOWS) || defined(_CYGWIN) || defined(_MINGW)
 
 #else