Fixed output file handling in Galois benchmark.