update for read_ini.sh