.gitignore supplemented