fix build on rustc 0.13.0-nightly (5484d6f6d 2014-12-02 00:22:00 +0000)