ini_sets should go into the --INI-- section (if possible)