Add stdint.h header explicitly to make the SL6 compiler happy