http://docs.tinyos.net/index.php/Installing_TinyOS_2.1#Two-step_install_on_your_host_OS_with_Debian_packages