r25720: update .gitignore