Fix build for rust-0.8