Fix build with rust nightly rustc 0.13.0-nightly (40fb87d40)