https://github.com/arduino/Arduino/issues/1176 is now fixed