Fix tests with latest version of Cargo

CI is broken with the latest version of cargo. We should fix it.