Fixed naming for the latest rust-pre-0.10