copy Random to new models, fix bug in gcc std::uniform_random, fix bug in getting default seed