Use Arduino 1.5.4.