missing exe for pushing to github