c47f6acf73
Change file file to file1 file2, partly for igor, and partly because it's odd to pass the same file to a command twice..