(It might make sense to only update mrustc and not update the rust it bootstraps in this patch)