Update sources to compile with Rust 0.11