I wonder if something like '-gsplit-dwarf' would help - if the version of gcc they are using even supports it.