Re: [PATCH] envtools: make them build again