Use the official core with Arduino 1.5.x