Fix subtle configurations at .gitignore