default profile for Arduino Leonardo was still too big with avr-gcc 4.5.x