do a dist-upgrade on Debian too