Define _GNU_SOURCE in platform.h