.gitignore: Change executable name