raul: updated .gitignore