Index: libcfa/src/bits/defs.hfa
===================================================================
--- libcfa/src/bits/defs.hfa	(revision 7f6a7c9815ca57db7bd45062dda4b61c275ad2ec)
+++ libcfa/src/bits/defs.hfa	(revision 95dab9ec006307c04669f1d2832d144a7ff5a92f)
@@ -59,15 +59,5 @@
 void abort( bool signalAbort, const char fmt[], ... ) __attribute__ (( format(printf, 2, 3), __nothrow__, __leaf__, __noreturn__ ));
 extern "C" {
-	#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);
+void __cabi_abort( const char fmt[], ... ) __attribute__ (( format(printf, 1, 2), __nothrow__, __leaf__, __noreturn__ ));
 }
 #endif