Updated platform.txt

See: https://github.com/arduino/Arduino/pull/1790 and https://github.com/arduino/Arduino/commit/fb324358eeff5c82ffba7ace495f26a26c1715b4