Debian/Ubuntu: apt versus apt-get