Fix contiki build on travis.