fix build on rustc 0.13.0-nightly (fac5a0767 2014-11-26 22:37:06 +0000)