.bat to .cmd

Since MathLibrary uses delayed expansion and other shell features
(setlocal/endlocal) that weren't introduced until cmd.exe was introduced
in Windows 2000, the file extension has been updated to be exclusively
CMD-compatible.