A batch file renaming library and application