input, outfile filenames