20140113: fixed .gitignore