Fix breakage from latest git pull of Rust repo.