Nicholas
Are you saying the plugin work fine on OSX with Arduino IDE 0023? That would be great.
turdusmerula
The init, loop and setup sound unknown to me.
Does you code compile? if so please read the section "Eclipse tells me there are bugs in my code but it compiles ok." in the faq at This page has been moved
How do you get to main.cxx? I have main.cpp?
About the errors in pins_arduino.h see "There are errors and warnings in the Arduino library." in the same FAQ
Note that in 1.0 these errors have been fixed 
Keep me posted