update to rust 0.7