Added proper stdint.h