Please see these instructions for installing the latest version of Safe TinyOS