hotfix for the .gitignore file