reworked FileRename.py to support more flexible renaming