Hi Xeno, About 3 years ago, you reported a bug to the Debian BTS regarding the VGA X driver not supporting a ATI Mach64 board. Did you reproduce this problem recently? If not, I will close this bug in the next weeks. Thanks, Brice