Use %p for pthread pointers in debugging output