[PATCH v2 3/5] server: Allow renaming a file to the same name.