Fix "no such file" when running runGitHub