How to edit a file name