Add missing option to .ini files