lean mathlib no longer working after mathlib update

Stream: new members

[Mark Gerads]

1 problem is that

import all

shows this error:
invalid import: algebraic_geometry.AffineScheme
could not resolve import: algebraic_geometry.AffineSchemeLean

A second problem that happened when I updated mathlib, I no longer could see the state and goals of the current line.
Edit: second problem suddenly went away after complaining.

[Mauricio Collares]

You probably have to re-run scripts/mk_all.sh

[Alex J. Best]

Or leanproject mk-all iirc (one less script to remember)