made the file generated have a random name, so that multiple wikidump can run in parallel