port: gnome_config to g_key_file