Allows batch file name renaming in Windows.