more convenient naming of txt files