Fix compilation for rust 0.8 pre.