minor tweaks to install2.r and installGitHub.r