Re: [cmd] Don't change case of the batch filename