I've tried to set mpide-0023 as the arduino path with no luck. Is there a chance to enhance it to chipkit as well?