Minified version of thread.js