use the latest contiki HEAD