The type returned from pthread_self() is opaque, we can't cast it to a
(void *) and print it, use the underlying WiredTiger helper routine.