Comment 5 for bug 1158360

Well, that is embarassing... I use Linux Mint 14 64 bits (based on Ubuntu 12.10), but for testing the hypotesis I downloaded Linux Mint 14 32 bits (i.e. the same kernel version, 3.5.0), flashed a bootable USB Stick with the ISO, and booted in it.

Then I ran the game out of the system's hard drive. It ran at full speed most of time, almost flawlessly. There was only a minor glitch at Warner Bros. logo during startup, and a perceivable slowdown when entering buildings like the Destilary (just GUI, irrelevant to gameplay).

I am yet to revert the driver from fglrx and provide the info requested (dmesg output and xorg log), but if the radeon driver is fine (as I could atest from Live USB Stick), where is the issue? A brand new installation with functional/accelerated OpenGL should be able to run 64 bits games as well as 32 bits games, right? Where is the issue, then? In the ditribution? In the packaging? Are there missing packages that I should instal manually?