jlessinge: I managed to find a solution: manually reinstalling the nVidia drivers and answering 'Yes' to the 32-bit library compatibility prompt.
Oh! I would never thought about that. It is a rare case; not many people use nVidia-provided drivers due to extremely convoluted install process and problems with kernel updates, even less people are refusing to add 32-bit compatibility. Though I
do use nVidia packages, personally I always install 32-bit compatibility stuff so I did not experienced any problems before. Will know this potential source of problems!