Changes for Rust 0.13