actual config.h for linux