Make it work with rust 0.9-pre