Support the rustc in the latest Ubuntu LTS.

At this time, this is Bionic, with Rust 1.25.0.

lib/codegen/src/timing.rs

@@ -154,7 +154,8 @@ mod details {
                 fn fmtdur(mut dur: Duration, f: &mut fmt::Formatter) -> fmt::Result {
                     // Round to nearest ms by adding 500us.
                     dur += Duration::new(0, 500_000);
-                    write!(f, "{:4}.{:03} ", dur.as_secs(), dur.subsec_millis())
+                    let ms = dur.subsec_nanos() / 1_000_000;
+                    write!(f, "{:4}.{:03} ", dur.as_secs(), ms)
                 }
 
                 fmtdur(time.total, f)?;