Update to rustc 0.8-pre (ecfc9a8 2013-08-12 04:29:11 -0700)