Re: [PATCH 0/3] Allow creating DEVEL builds