add missing TinyOS config zip file