--- Top/csound.c.orig	2017-07-12 14:54:27.000000000 +0200
+++ Top/csound.c	2017-07-17 17:27:27.064603813 +0200
@@ -1089,7 +1089,7 @@
 
 static void signal_handler(int sig)
 {
-#if defined(LINUX) && !defined(ANDROID) && !defined(NACL)
+#if defined(__GLIBC__)
     #include <execinfo.h>
 
     {