Try to fix the Cargo.lock file

I may have updated too much in the lock file, so try to recover it.