[PATCH] Makefile: Force regeneration of env.txt