Fix Linux builds by including stdint.h