Fix for contiki build.