Upgrade to rustc 6ef8392b3 2014-10-20