Small tweak for AVR-GCC