added one line to the boards.txt for Arduino 1.5