Make it compile with Rust 0.12