A simple python script to rename a local file.