Added missing stdint header.