Fix build with rust nightly Dec-20-2014