diff --git a/source/src/pch.h b/source/src/pch.h
index b5c44cfd..a33c2c08 100644
--- a/source/src/pch.h
+++ b/source/src/pch.h
@@ -17,7 +17,6 @@
 #include <limits.h>
 #ifdef __GNUC__
 #include <new>
-#include <execinfo.h>
 #include <signal.h>
 #else
 #include <new.h>
diff --git a/source/src/tools.cpp b/source/src/tools.cpp
index a2becfc6..46a133ea 100644
--- a/source/src/tools.cpp
+++ b/source/src/tools.cpp
@@ -329,7 +329,9 @@ void stackdumper(unsigned int type, EXCEPTION_POINTERS *ep)
     }
     fatal(out);
 }
-#elif !defined(WIN32) && defined(__GNUC__)
+#elif defined(linux) || defined(__linux) || defined(__linux__)
+
+#include <execinfo.h>
 
 // stack dumping on linux, inspired by Sachin Agrawal's sample code