Added missing stdint.h