better names for mkAllInsts result files