file names in cmdline, not just stdin