Re: [PATCH 1/1] Makefile: make clean should delete include/generated/env.in