options: Allow input/output file names only once.