[PATCH 4/4] debian: update .gitignore