Hi Michael,
Thanks for your help again. I have not yet tried your last suggestions, I am going to tomorrow.
How do I find out what avr-gcc version is used under the hood of Arduino? You are suspicious it is not the same version as I see from my terminal?
Thanks,
Mikel
