Can now save an unmodified file under a new name which is already used for an existing file (closes #215).