Rename uint to uint32_t

Found one remaining uint ;)