Update for latest Rust (c97f885): crate file names