Remove duplicate copy of body of config.h