diff --git a/core/include/native_sched.h b/core/include/native_sched.h
index 573b97095b..18c22191f5 100644
--- a/core/include/native_sched.h
+++ b/core/include/native_sched.h
@@ -30,6 +30,7 @@ extern "C" {
 #ifdef CPU_NATIVE
 #include <stdio.h>
 
+#if __GLIBC__
 /*
  * Required to use some C++11 headers with g++ on the native board.
  */
@@ -39,6 +40,7 @@ typedef unsigned long int __cpu_mask;
 typedef struct {
     __cpu_mask __bits[__CPU_SETSIZE / __NCPUBITS];
 } cpu_set_t;
+#endif
 
 /**
  * @brief In all test the function has never been called, hence it is empty for now.