But if you are going to stick with avr-gcc and avr libC then why mess with Arduino and the IDE at all?
What would be the benefit for all the pain of using the Arduino IDE without any Arduino libraries?
Just use the native gcc tools, and write your own makefiles.
You could then even do source level debugging.
--- bill