How to use system avr-gcc instead of Arduino one

I believe you just need to rename/move the compiler in the Arduino tree (i.e. hardware/tools/avr/bin).