Bugfix: Old PEAR.php revision was gone