Actually use config.h