Update to Rust 20141212