let gui_files = ref []