This helps with the fact that the order in which debuginfo is emitted differs between platforms, and is probably not guaranteed to be stable in general.
