pthread: add to system <pthread.h> instead of replacing it all, for MacOS