Re: [PATCH 0/3] syntax-check: Sync with gnulib, some tweaks