Polishing the install.bat script