implement rename a file function under rename.py