Is this include actually required?  Would 'stdint.h' be enough?