I build Marlin on Windows successfully but have a preference for fedora GNU/Linux -

I build Marlin on Windows successfully but have a preference for fedora GNU/Linux - which poses a problem.

fedora package the Arduino IDE and the AVR toolchain separately and while Marlin appears to compile and upload to the printer successfully the resulting compile size is smaller than that generated on Windows (~50kB vs. ~70kB).

If I replace the fedora Arduino IDE and AVR toolchain packages with the official Arduino IDE download for Linux then Marlin compiles and uploads just fine and the binary size is identical to that generated on Windows.

So, it appears that the Windows and official Arduino IDE for Linux both use avr-gcc at version 4.3.2 while the fedora package is version 4.8.2 and clearly there is either a problem with the newer version of avr-gcc or Marlin’s ability to be compiled and linked correctly under it.

Does anyone have an insight into this problem. I would prefer to use the fedora native packages for Arduino IDE and the AVR toolchain but at the moment I am unable to do this.