local utility for file renaming (python)