Update for rustc