Updated pthread_compatibility.h to avoid interfering with other headers