uint32_t Ubuntu Fix