Eu resolvi o problema de instalar o driver do Catalyst usando este tutorial . Parece que a maneira correta de instalar todas as dependências, incluindo lib32gcc1 é:
sudo apt-get install build-essential cdbs dh-make dkms execstack dh-modaliases linux-headers-generic fakeroot libqtgui4 lib32gcc1