Use GCC 4.8 under Mavericks