Minor tweaks to mini-installer.
Delete unused variable in downloader.