Do pthread_exit() rather than returning NULL.