Comment 2 for bug 1425118

I apologize for a typo in the patch in my bug description. The additional lines should, of course, be

                          if os.path.exists(f):
                              os.remove(f):

("f" not "dest_file").