We used to ignore the case in which the file already exists, but now we don't. We probably should.