diff --git a/src/goto-cc/compile.cpp b/src/goto-cc/compile.cpp
index fef704dcca0..fce251f0313 100644
--- a/src/goto-cc/compile.cpp
+++ b/src/goto-cc/compile.cpp
@@ -63,6 +63,8 @@ Date: June 2006
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <direct.h>
 #include <windows.h>
diff --git a/src/util/cout_message.cpp b/src/util/cout_message.cpp
index 84754e117c4..2d0b235026f 100644
--- a/src/util/cout_message.cpp
+++ b/src/util/cout_message.cpp
@@ -15,6 +15,8 @@ Author: Daniel Kroening, kroening@kroening.com
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <windows.h>
 #include <fcntl.h>
diff --git a/src/util/file_util.cpp b/src/util/file_util.cpp
index d88cc5efb69..44d978243e8 100644
--- a/src/util/file_util.cpp
+++ b/src/util/file_util.cpp
@@ -36,6 +36,8 @@ Date: January 2012
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <io.h>
 #include <windows.h>
diff --git a/src/util/memory_info.cpp b/src/util/memory_info.cpp
index 5eb531a5509..fb3c5733c60 100644
--- a/src/util/memory_info.cpp
+++ b/src/util/memory_info.cpp
@@ -23,6 +23,8 @@ Author: Daniel Kroening, kroening@kroening.com
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <windows.h>
 #include <psapi.h>
diff --git a/src/util/run.cpp b/src/util/run.cpp
index 0aa1f68d151..1473d7846ba 100644
--- a/src/util/run.cpp
+++ b/src/util/run.cpp
@@ -16,6 +16,8 @@ Date: August 2012
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable:5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <process.h>
 #include <windows.h>
diff --git a/src/util/tempdir.cpp b/src/util/tempdir.cpp
index 08f207fd6a1..50336c8045d 100644
--- a/src/util/tempdir.cpp
+++ b/src/util/tempdir.cpp
@@ -13,6 +13,8 @@ Author: CM Wintersteiger
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <windows.h>
 #include <io.h>
diff --git a/src/util/tempfile.cpp b/src/util/tempfile.cpp
index bfd97941e47..ef548458c3c 100644
--- a/src/util/tempfile.cpp
+++ b/src/util/tempfile.cpp
@@ -13,6 +13,8 @@ Author: Daniel Kroening
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <process.h>
 #include <sys/stat.h>
diff --git a/src/util/unicode.cpp b/src/util/unicode.cpp
index aca434cf3c2..111e95bb581 100644
--- a/src/util/unicode.cpp
+++ b/src/util/unicode.cpp
@@ -19,6 +19,8 @@ Author: Daniel Kroening, kroening@kroening.com
 #ifdef _MSC_VER
 #pragma warning(disable:4668)
   // using #if/#elif on undefined macro
+#pragma warning(disable : 5039)
+// pointer or reference to potentially throwing function passed to extern C
 #endif
 #include <windows.h>
 #include <util/pragma_pop.def>