fix temporary filename for install_github