This is needed to fix the remaining problems.

Also, note that Cargo.lock is actually shared within the workspace. However as far as I know, there is no workaround for this yet.