Multiplatform batch file renaming utility