Fix the build fix. It turns out that Uint32 != uint32_t.