`debuginfod` is the symbol server equivalent for elf/dbg files. Seems like requires gcc. another reason why Coreclr should be compilable with gcc.