Eu encontrei a solução aqui comentário # 27,
sudo dpkg --add-architecture i386
sudo apt-get update
sudo apt-get install ia32-libs
Então as bibliotecas de 32 bits são instaladas bem (para mim, de qualquer maneira!). Espero que isso ajude alguém!