[PATCH] Makefile: fix generation of defaultenv.h from empty initial file