updating lake

Stream: lean4

[Siddhartha Gadgil]

How do I update to use the new version of lake? I tried elan update and elan update nightly and a few other things, including reinstalling elan with customized install asking for nightly to be default, but I seem stuck on the old version

$ lake --version
Lake version 3.0.0-pre (Lean version master (4.0.0))

[Siddhartha Gadgil]

I also tried elan default nightly

[Siddhartha Gadgil]

Actually this seems to be only in the mathport folder, just pulled. And elan show says that there is a directory override. This is strange though as the lean-toolchain is up to date.