Moved stuff so that github_install works