Change name of Windows command line shell to CmdExe

Avoid conflict with some other global name "Cmd".