correction: the config.ini should be option files