finetuning of .gitignore