Fix error in commit 542f92bc32b4ca03f5794ee96c91df047de5c207
Update TinyOS