fix compilation with rust 0.10