pert:
I think so, I remembered that thread when I first started reading your post. Good job doing a search of the forum before posting!I don't know what the real solution to this issue is but the finding in the other thread was the error is related to the new version of avr-gcc. If you install Arduino AVR Boards 1.6.11 using Boards Manager that should make it work. It would be much better to actually find out how to fix this so that you can use the up to date tool version.
I'm glad you replied pert. I was going to suggest changing to IDE V1.6.11 or even V1.6.9, (deleting Arduino15 in between), having remembered that thread myself, and seen that a fix wasn't mentioned at the end.
(And I too was impressed that he'd done a search and found that thread.)