(menu_settings.c) Fix config.def.h include