cmdline option for output file