use gcc-4.2 on Mavericks