Define CHIPKIT_PIC32 when building gcc