--with-dom in PHP4