[PATCH 2/3] Add missing entries to .gitignore