Sorry, from now on I will always reply all.I don't know if this question was already asked, but it asks /usr/bin/gcc-4.2I only have gcc-4.0Before I used to rename gcc-4.0 to gcc-4.2But maybe there is a better way?