Somehow Logger.php has gone.