EB7.1: fixed .gitignore