Re: [PATCH 1/2] scripts/check-config.sh: fix to be compatible with BSD sed