minor modification for install_github