get_script_filename  436 core/gui_script.c     const char *c = get_script_filename();
get_script_filename  500 core/gui_script.c     const char* name = get_script_filename();