pthread_t is not a pointer on linux