[add] missing xml_reader.php when xmllint is not available