mudar de versão do gcc

[caio ferreira <idic@terra.com.br>]

	All

	Aparentemente a versão 2.4.31 do kernel do linux não pode ser compilado com a 
versão 4.0 do gcc, estou utilizando a versão testing do debian. Para resolver 
esse problema instalei a versão 3.3 do gcc e fiz o seguinte:

# mv gcc gcc.backup
# mv gccbug gccbug.backup
# ln -s gcc-3.3 gcc
# ln -s gccbug-3.3 gccbug
# ls -l gcc*
> lrwxrwxrwx  1 root root     7 2005-10-14 09:44 gcc -> gcc-3.3
> -rwxr-xr-x  1 root root 85244 2005-06-20 22:05 gcc-3.3
> -rwxr-xr-x  1 root root 89136 2005-10-02 05:30 gcc-4.0
> lrwxrwxrwx  1 root root     7 2005-10-08 21:06 gcc.backup -> gcc-4.0
> lrwxrwxrwx  1 root root    10 2005-10-14 09:44 gccbug -> gccbug-3.3
> -rwxr-xr-x  1 root root 16059 2005-06-20 21:51 gccbug-3.3
> -rwxr-xr-x  1 root root 16264 2005-10-02 05:23 gccbug-4.0
> lrwxrwxrwx  1 root root    10 2005-10-08 21:06 gccbug.backup -> gccbug-4.0

	Exsite alguma forma debian de fazer essa mudança do gcc ?