Update to current rust: stop using Ref::get().
Update to current rust: stop using RefCell::with_mut().