Use GCC 4.2 as the default compiler when isntalled