platform.txt updated from arduino-1.5.8