diff --git a/src/include/yices_types.h b/src/include/yices_types.h
index dfd28cb79..bdf927586 100644
--- a/src/include/yices_types.h
+++ b/src/include/yices_types.h
@@ -71,6 +71,15 @@ typedef struct ctx_config_s ctx_config_t;
 typedef struct param_s param_t;
 
 
+/*
+ * Hack for fixing windows build when using the thread-safe option.
+ * Better fix requires renaming symbols, so it will be done in the
+ * non-backward compatible release (2.8).
+ */
+#if defined(MINGW) && defined(THREAD_SAFE) && defined(STATUS_INTERRUPTED)
+#undef STATUS_INTERRUPTED
+#endif
+
 /*
  * Context status code
  */