change Windows batch scripts; thanks to danieldc for suggestion