Fix cargo.config