Fixes #40: add _DEFAULT_SOURCE back for Linux build