--- Source/PCH/pch.h.orig	2016-06-26 08:53:16.021952803 +0200
+++ Source/PCH/pch.h	2016-06-26 08:54:20.662712317 +0200
@@ -19,7 +19,7 @@
 #include <ctype.h>
 #include <deque>
 #include <errno.h>
-#if !defined ANDROID && !defined _WIN32
+#if defined(__linux__) && defined(__GLIBC__)
 #include <execinfo.h>
 #endif
 #include <fcntl.h>
--- Source/Core/Common/Thread.cpp.orig	2016-06-26 08:56:12.959031810 +0200
+++ Source/Core/Common/Thread.cpp	2016-06-26 08:57:27.281905099 +0200
@@ -135,7 +135,7 @@ void SetCurrentThreadName(const char* sz
 	pthread_setname_np(szThreadName);
 #elif defined __FreeBSD__
 	pthread_set_name_np(pthread_self(), szThreadName);
-#else
+#elif defined __GLIBC__
 	// linux doesn't allow to set more than 16 bytes, including \0.
 	pthread_setname_np(pthread_self(), std::string(szThreadName).substr(0, 15).c_str());
 #endif