Re: [PATCH v3 07/23] buildman: Be more selective about which directories to remove