cmd.exe: Command type with multiple files should print filenames to stderr.