Update lakefile.
Eliminate possible bug in `lake`.