fix CONTIKI path in Makefile