Fix install_github()