change executable name in .gitignore