Update pthread_token_bucket.c