Re: [PATCH 17/19] Make DISTRO_DEFAULTS as deprecated