Attempt to fix the Linux build by including stdint.h