Update for rustc 0b7b4f075 2014-11-16 22:36:50 +0000