Re: [PATCH] Makefile: Avoid non-portable GNU sed extension