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