Changed output triples file name generation.