update to rust-0.9x (09b840)