Update platform.txt

https://github.com/arduino/Arduino/issues/1807