Executable mistakenly stored in git.