Our rustc build is configured to remap debuginfo, which replaces absolute paths to the rustc source code (which would be CI's paths) with /rustc/{sha}/. To make clear the commit would be Ferrocene's it'd be nice to remap that to /ferrocene/.