Lean not telling me which import has the import error

Stream: lean4

[Bolton Bailey]

This is what I get in Piops.Math.Prime.lean

`/Users/boltonbailey/.elan/toolchains/leanprover--lean4---v4.1.0-rc1/bin/lake print-paths Init Piops.Math.Lemmas Piops.Math.SubgroupUnits Piops.Math.PolyLemmas Piops.Math.SumSubgroup` failed:

stderr:
error: no such file or directory (error code: 2)
  file: ./././Piops/SubgroupUnits.lean

But Piops.Math.Prime.lean actually has the right import. It was one of the files I imported that got this other import wrong. Lean should tell me which file it was that made the error, right? Is there a way to get it to do this? Should I file an issue?

[Bolton Bailey]

lean4#2569