By the way, in order to keep up-to-date, do I need to do apt-get update, apt-get dist-upgrade, ia32-apt-get update and ia32-apt-get dist-upgrade, all the four commands?
That is because ai32-apt-get, by popular demand, is no longer allowed
to divert apt-get. You need to call ia32-apt-get or ia32-aptitude
instead. See NEWS file in the package.