I was wrong. I was trying to compile the fglrx-kernel-src from the ati web site, not the one from the debian repository. The Makefile are different. I guess the one from ati is not up to date.
I still get the "seems to contain unconfigured kernel source" warning. Regards, Jerome
