Turned off gcc-4.2 forcing on osx for now, until I can merge in the better switch.