Renaming a file is a multi-step process, only one of which is changing the name