Fixed problem with parameters passed to _print_pthread_id() helper function.