Re: [PATCH] Android.mk: use LOCAL_COPY_HEADERS to export headers. v2