It is pretty well-known that I’m not a big fan of the Arduino infrastructure. Granted, these days you have more options with the pro IDE ... get put into the correct property, compiler.c.extra ...