Update to rust 0.9-pre (a5fa1d9)