Print pthread_t in a more safe way