Update source files for Rust v0.11