Re: [PATCH v2 3/9] Makefile.local: define _GNU_SOURCE