Re: [PATCH v2] make.sh-usage: Ship changes to make files