Make xmllint use stdin