win32 batch file extension replacer