Throw error on duplicate remote filenames only if their local filenames are different.
For output files, check for the case where two different remote files are being mapped
to the same local filename.
Remove checks for the return value of specify_file() so the example is backward
compatible with older versions of our software.