How to use system avr-gcc instead of Arduino one

lemming:
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...

You could always keep using it until you actually run into a bug. Just be aware that if you run into any "weird bugs" that you should try using the old compiler first.