Updated to rustc 0.13.0-dev (3a8f4ec32 2014-11-04 11:11:20 +0000)