Re: [PATCH] dist target fixes with Mirek's improvements