Upgrade to rustc 0.8-pre (0ac3e02 2013-08-30 05:45:45 -0700)