fix for missing config.h file