Delete tools.js~