# Return the config file path from options or the default
	fun config_file: String do return opt_config.value or else default_config_file