Cast pthread_self for printing.  #753