Re: [PATCH v2 11/14] buildman: Avoid rebuilding when --mrproper is used