Use Rust 0.8