"apt-get dist-upgrade" vs. Neuinstallation