Update for rustc 0b7b4f075 2014-11-16 22:36:50 +0000
Update for rustc 336349c93 2014-11-17 20:37:19 +0000