hacks to get pthread headers in the place glibc wants them