Upgrade to rustc 0a4c136d6 2014-09-23