Replace the Arduino core files with the ones included in Linux versions of the Arduino IDE.