How to use system avr-gcc instead of Arduino one