Fix for latest Contiki.