Upgrade to rustc 193390d0e 2014-12-11