ini_config.txt: update for #INCLUDE directive