tweak generate-names.pl default settings for better indexing speed