tinyos-tools-stable now compiles the current stable (1.4.2) version. Fixes #294