derived files added to .gitignore