xmllint: Select only files that are present after applying the patch

The previous filter caught deleted files, which made xmllint fail