remove stdint.h header file, which is not needed