In #432 we added trim-diagnostic-paths=no to the compiler flags but it is unclear why this is needed to avoid failures in some tests (see #433). Ideally, we would like to avoid passing this option.