How to use system avr-gcc instead of Arduino one

Not what I wanted to hear, but thanks for the heads-up westfw.

Suppose its back to the ol' 4.3.2 for me!

Sigh...