Adding OS_GNU to config.h