Because we already have existing dependencies on `jquery.tools.js`.