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