Follow rustc

rustc 0.13.0-dev (4389ee389 2014-11-22 12:46:37 +0000)