Fix texexclude != texignore