20140611: updated .gitignore