uncommented tools.js for minified js version - not sure why this has
been commented out