Make sure the PHPDox get exported correctly