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