bugfixing in messduino, contiki and bitmap_allocator