fix for missing config.h