fix previous patch with _GNU_SOURCE