upgrade to arduino 1.5,now contiki with arduino is in platform avr_c