Use old GCC on Mavericks to compile