Fix for config.h