Replace uint32_t by unsigned int in RNG