Now seeding the random generator in TileSetManager.