fix temporary filename for install_github
Merge branch '466-github-api' into 466-github-api-old