[PATCH 1/2] Add missing build leftovers to .gitignore