Fix build following bdbe7b3b097373c093a6baedc53c86600f21990f