Current Arduino SDK seems to build just fine with GCC 4.8