Re: [PATCH 6v2/6] Makefile: now support other common export formats (v2)