Symbol: get_mm_exe_file