Bugfix: Old PEAR.php revision was gone

Cherrypick from master