Upgrade to agoric-upgrade-6