Fix pthread_t print issue. #753