20140907: updated gitignore