Index: libcfa/src/bits/defs.hfa
===================================================================
--- libcfa/src/bits/defs.hfa	(revision a7d696f24154f74fedcb586aaa645387836cdff2)
+++ libcfa/src/bits/defs.hfa	(revision 20be7824be588cb516b811f2b84e12e776350a51)
@@ -21,5 +21,5 @@
 #include <stdint.h>
 #include <assert.h>
-#include <pthread.h>
+
 
 #define likely(x)   __builtin_expect(!!(x), 1)
@@ -44,24 +44,15 @@
 void abort( bool signalAbort, const char fmt[], ... ) __attribute__ (( format(printf, 2, 3), __nothrow__, __leaf__, __noreturn__ ));
 extern "C" {
-#endif
-void __cabi_abort( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
-int real_pthread_create(pthread_t *_thread, const pthread_attr_t *attr, void *(*start_routine) (void *), void *arg);
-int real_pthread_join(pthread_t _thread, void **retval);
-pthread_t real_pthread_self(void);
-int real_pthread_mutex_init(pthread_mutex_t *_mutex, const pthread_mutexattr_t *attr);
-int real_pthread_mutex_destroy(pthread_mutex_t *_mutex);
-int real_pthread_mutex_lock(pthread_mutex_t *_mutex);
-int real_pthread_mutex_unlock(pthread_mutex_t *_mutex);
-int real_pthread_mutex_trylock(pthread_mutex_t *_mutex);
-int real_pthread_cond_init(pthread_cond_t *cond, const pthread_condattr_t *attr);
-int real_pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *_mutex);
-int real_pthread_cond_signal(pthread_cond_t *cond);
-int real_pthread_cond_broadcast(pthread_cond_t *cond);
-int real_pthread_cond_destroy(pthread_cond_t *cond);
-int real_pthread_attr_init(pthread_attr_t *attr);
-int real_pthread_attr_destroy(pthread_attr_t *attr);
-int real_pthread_attr_setstack( pthread_attr_t *attr, void *stackaddr, size_t stacksize );
-int real_pthread_attr_getstacksize( const pthread_attr_t *attr, size_t *stacksize );
-#ifdef __cforall
+	#include <pthread.h>
+	void __cabi_abort( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
+	int real_pthread_create(pthread_t *_thread, const pthread_attr_t *attr, void *(*start_routine) (void *), void *arg);
+	int real_pthread_join(pthread_t _thread, void **retval);
+	pthread_t real_pthread_self(void);
+	int real_pthread_attr_init(pthread_attr_t *attr);
+	int real_pthread_attr_destroy(pthread_attr_t *attr);
+	int real_pthread_attr_setstack( pthread_attr_t *attr, void *stackaddr, size_t stacksize );
+	int real_pthread_attr_getstacksize( const pthread_attr_t *attr, size_t *stacksize );
+	//int real_pthread_sigqueue(pthread_t _thread, int sig, const union sigval value);
+	//int real_pthread_sigmask( int /* how */, const sigset_t * /* set */, sigset_t * /* oset */ );
 }
 #endif