Update for rustc a1f497309 2014-09-09 23:55:43 +0000