Changed cstdint to stdint.h. Re #7726