Dummy pthread.h