Unbreaks compilation and config.h