Update platform.txt file
Part of https://github.com/arduino/Arduino/issues/1176 is now fixed