Fix install_github