[horde] problem with debian and horde head domxml

[bill at math.uchicago.edu]

Hi,
I am having a slight problem with the Horde HEAD (on CVS) distribution
with debian sid, as apparently I don't have domxml, yet debian claims it
is installed (in the form of apt-get install php4-domxml)...perhaps a
configuration problem?

"A fatal error has occurred
You need the domxml PHP extension to use the configuration tool.
[line 26 of /var/www/horde/admin/setup/config.php]

Details (also in Horde's logfile):

object(pear_error)(8) {
  ["error_message_prefix"]=>
  string(0) ""
  ["mode"]=>
  int(1)
  ["level"]=>
  int(1024)
  ["code"]=>
  NULL
  ["message"]=>
  string(64) "You need the domxml PHP extension to use the configuration
tool."
  ["userinfo"]=>
  NULL
  ["backtrace"]=>
  array(2) {
    [0]=>
    array(6) {
      ["file"]=>
      string(23) "/usr/share/php/PEAR.php"
      ["line"]=>
      int(538)
      ["function"]=>
      string(10) "pear_error"
      ["class"]=>
      string(10) "pear_error"
      ["type"]=>
      string(2) "->"
      ["args"]=>
      array(5) {
        [0]=>
        string(64) "You need the domxml PHP extension to use the
configuration tool."
        [1]=>
        NULL
        [2]=>
        int(1)
        [3]=>
        int(1024)
        [4]=>
        NULL
      }
    }
    [1]=>
    array(6) {
      ["file"]=>
      string(37) "/var/www/horde/admin/setup/config.php"
      ["line"]=>
      int(26)
      ["function"]=>
      string(10) "raiseerror"
      ["class"]=>
      string(4) "pear"
      ["type"]=>
      string(2) "::"
      ["args"]=>
      array(1) {
        [0]=>
        string(64) "You need the domxml PHP extension to use the
configuration tool."
      }
    }
  }
  ["callback"]=>
  NULL
}

"