fixing std:uint32_t for cstdint