Fix behavior of cmdline_src: now support 'file', 'stdin_or_files' now reads files specified as cmdline args; test not yet adjusted