Failing to resolve imports after upgrading mathlib

Stream: maths

[Quarrie]

I'm getting this error after upgrading mathlib and pulling the object files:

invalid import: algebra.module.basic
could not resolve import: algebra.module.basic

Despite the fact that both a .lean and .olean file clearly exist in a dependency directory. Any tips?