Double-click the downloaded batch file to run it.