Make it work with rust 0.8-pre