Made mini-installer more robust and user-friendly.
Made mini-installer more robust and user-friendly.