Fix an error happening while loading symbols from a core file