Delete tools.js