change stdint.h to stdint-gcc.h