Hold it: the gui updater runs "apt-get update", while I ran "apt-get dist-upgrade". Different story. Should have looked for plan B before cutting the tree branch I was sitting on, is all.