Update for rustc 0.9 (a34727f)