Remove inclusion of stdint.h