No apple-gcc42 any more?