You can continue to use that workaround or you can install Arduino AVR Boards 1.6.11 in Tools > Board > Boards Manager. The developers are aware of the issue and it will be fixed in the next Arduino IDE and Arduino AVR Boards releases.
You can continue to use that workaround or you can install Arduino AVR Boards 1.6.11 in Tools > Board > Boards Manager. The developers are aware of the issue and it will be fixed in the next Arduino IDE and Arduino AVR Boards releases.