Bonjour Tim,
Sorry, I missed the most important:
#include libraries are compiled on Arduino UNO!
Thank you so much for your help 
.
I pushed a commit to your repository suggesting taking avr/bin from within Arduino.app.
But for chipKIT, the Makefile no longer works.
I try to deal with both platforms.
Is there an Xcode 4 expert around?