Jerome Library patio construction