Fix bug #20080: Exception.php missing from package.xml