update to Rust v0.9