make sure upgrading ev3dev-base upgrades everything else
release 7.1