Include stdint.h and pthreaddef.h.