lib_mrpt_config_INI_file_format