Fix a wrong typedef in threading.h.