Несмотря на то что php5-dom стоит, при попытке создания экземпляра класса DOMDocument теперь выдает (раньше такого не было): PHP Fatal error: Class 'DOMDocument' not found
$dom = new domDocument - на текущем sisyphus отрабатывает нормально.