Update get_opt to new ConfigFile API