diff -up CAS-1.1.2/CAS.php.systemlib CAS-1.1.2/CAS.php
--- CAS-1.1.2/CAS.php.systemlib	2010-08-03 17:58:12.000000000 +0200
+++ CAS-1.1.2/CAS.php	2010-08-03 18:00:12.000000000 +0200
@@ -40,7 +40,7 @@ if (!$_SERVER['REQUEST_URI']) {
 // another one by Vangelis Haniotakis also to make phpCAS work with PHP5
 //
 if (version_compare(PHP_VERSION, '5', '>=') && !(function_exists('domxml_new_doc'))) {
-	require_once (dirname(__FILE__) . '/CAS/domxml-php4-to-php5.php');
+	require_once('/usr/share/php/domxml-php4-php5/domxml-php4-to-php5.php');
 }
 
 /**
diff -up CAS-1.1.2/php-pear-CAS.xml.systemlib CAS-1.1.2/php-pear-CAS.xml
--- CAS-1.1.2/php-pear-CAS.xml.systemlib	1970-01-01 10:13:08.000000000 +0100
+++ CAS-1.1.2/php-pear-CAS.xml	2010-08-03 18:02:37.000000000 +0200
@@ -51,7 +51,6 @@ see http://www.ja-sig.org/wiki/display/C
    <file baseinstalldir="/" md5sum="9162d942d32ac8bdc01d409c07f41a0f" name="CAS/PGTStorage/pgt-file.php" role="php" />
    <file baseinstalldir="/" md5sum="4bd67b4d6d6021504c00eff90e577ac0" name="CAS/PGTStorage/pgt-main.php" role="php" />
    <file baseinstalldir="/" md5sum="5801f35b93c6bc68a3d2eedc75ad325a" name="CAS/client.php" role="php" />
-   <file baseinstalldir="/" md5sum="e9ce7e11f871d8206b0abc2f608b0277" name="CAS/domxml-php4-to-php5.php" role="php" />
    <file baseinstalldir="/" md5sum="a97168f2ce407585f975df370f3f192c" name="docs/api/annotated.html" role="doc" />
    <file baseinstalldir="/" md5sum="39288f88be2912de1677afe29e288d2b" name="docs/api/bc_s.png" role="doc" />
    <file baseinstalldir="/" md5sum="f5fe33865e6d29c81114cbd9341f8fb8" name="docs/api/CAS_8php.html" role="doc" />
@@ -198,7 +197,7 @@ see http://www.ja-sig.org/wiki/display/C
    <file baseinstalldir="/" md5sum="abb6f52f3b53449eb7306094f541ead4" name="docs/ChangeLog" role="doc" />
    <file baseinstalldir="/" md5sum="8b55ff8b0efc4d70a30e3d282f4ef188" name="docs/index.html" role="doc" />
    <file baseinstalldir="/" md5sum="d153a0effa32fbccded9387ea5310df6" name="docs/README" role="doc" />
-   <file baseinstalldir="/" md5sum="9f6b5dd62d82281ae1858ef3d23b2496" name="CAS.php" role="php" />
+   <file baseinstalldir="/" md5sum="523247e23198f31464558e4a09856d99" name="CAS.php" role="php" />
   </dir>
  </contents>
  <dependencies>