--- termination.cc.old	2017-06-24 15:00:21.287094332 +0200
+++ termination.cc	2017-06-24 15:01:12.717096292 +0200
@@ -11,7 +11,7 @@
 
 #include <string>
 
-#ifndef __WIN32
+#ifdef __GLIBC__
 #include <execinfo.h>
 #endif
 
@@ -85,7 +85,7 @@
     message += "terminate() called without active exception\n";
   }
 
-#ifndef __WIN32
+#ifdef __GLIBC__
 
   message += "\nBacktrace:\n";
 
