Re: [PATCH v2] Makefile: Force regeneration of env.txt