Starting upgrade to latest Rust.
A hard-won battle to update to latest Rust.
0.7.2